Letia, Alfred I.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the third annual conference - Seattle, Washington, United States (1999..-..)] Proceedings of the third annual conference on Autonomous Agents - AGENTS '99 - A TLA+ specification for agent communication that enables proofs

Letia, Ioan Alfred

Year:

1999

Language:

english

File:

PDF, 198 KB

english, 1999

2

[IEEE 2010 IEEE 8th International Symposium on Intelligent Systems and Informatics (SISY 2010) - Subotica, Serbia (2010.09.10-2010.09.11)] IEEE 8th International Symposium on Intelligent Systems and Informatics - Developing Hazard Ontology for supporting HACCP systems in food supply chains

Letia, Ioan Alfred, Groza, Adrian

Year:

2010

Language:

english

File:

PDF, 426 KB

english, 2010

3

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Foreword

Letia, Ioan Alfred

Year:

2010

File:

PDF, 20 KB

2010

4

[IEEE Cluj-Napoca, Romania - (2007.09.6-2007.09.8)] 2007 IEEE International Conference on Intelligent Computer Communication and Processing - Rules for Representing and Handling Contracts

Vartic, Raluca, Letia, Ioan Alfred

Year:

2007

Language:

english

File:

PDF, 1.47 MB

english, 2007

5

[IEEE 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Cluj, Romania (2012.08.30-2012.09.1)] 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing - Checking the norms for explanation

Letia, Ioan Alfred, Goron, Anca

Year:

2012

Language:

english

File:

PDF, 315 KB

english, 2012

6

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Foreword

Letia, Ioan Alfred

Year:

2011

File:

PDF, 21 KB

2011

7

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - From normative to cognitive layer through expectations

Letia, Ioan Alfred, Marginean, Anca Nicoleta

Year:

2010

Language:

english

File:

PDF, 159 KB

english, 2010

8

Compliance checking of integrated business processes

Letia, Ioan Alfred, Groza, Adrian

Journal:

Data & Knowledge Engineering

Year:

2013

Language:

english

File:

PDF, 2.91 MB

english, 2013

9

[IEEE Cluj-Napoca, Romania - (2007.09.6-2007.09.8)] 2007 IEEE International Conference on Intelligent Computer Communication and Processing - Achieving Accords over Agents Own Ontology

Letia, Ioan Alfred, Marginean, Anca

Year:

2007

Language:

english

File:

PDF, 2.11 MB

english, 2007

10

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Ontology matching and verification system using concept description translation

Letia, Ioan Alfred, Pop, Octavian

Year:

2010

Language:

english

File:

PDF, 183 KB

english, 2010

11

[IEEE Cluj-Napoca, Romania - (2007.09.6-2007.09.8)] 2007 IEEE International Conference on Intelligent Computer Communication and Processing - Employing Rough Sets for Modeling Agent Trust

Letia, loan Alfred, Slavescu, Radu Razvan

Year:

2007

Language:

english

File:

PDF, 758 KB

english, 2007

12

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Argumentative agents for justifying decisions in audit

Letia, Ioan Alfred, Groza, Adrian, Balaj, Radu

Year:

2011

Language:

english

File:

PDF, 295 KB

english, 2011

13

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - A neural model for semantically enhancing Web APIs

Chifu, Emil St., Letia, Ioan Alfred

Year:

2011

Language:

english

File:

PDF, 418 KB

english, 2011

14

Risk factors for symptomatic gallstones in patients with liver cirrhosis: a case-control study

Acalovschi, Monica, Blendea, Dan, Feier, Cristina, Letia, Alfred I., Ratiu, Nadia, Dumitrascu, Dan L., Veres, Adina

Journal:

American Journal of Gastroenterology

Year:

2003

Language:

english

File:

PDF, 62 KB

english, 2003

15

[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - Foreword

Letia, Ioan Alfred

Year:

2014

File:

PDF, 20 KB

2014

16

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - A model of trust and reputation in e-commerce based on multimodal logic

Letia, Ioan Alfred, Slavescu, Radu Razvan

Year:

2011

Language:

english

File:

PDF, 137 KB

english, 2011

17

[IEEE 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2009.08.27-2009.08.29)] 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing - Foreword

Letia, Ioan Alfred

Year:

2009

Language:

english

File:

PDF, 16 KB

english, 2009

18

[IEEE 2017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca (2017.9.7-2017.9.9)] 2017 13th IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - On explaining inconsistencies in multi-context streams as support for the human user

Pop, Octavian, Letia, Ioan Alfred

Year:

2017

Language:

english

File:

PDF, 106 KB

english, 2017

19

[IEEE 2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2019.9.5-2019.9.7)] 2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP) - Towards Balancing the Complexity of Convolutional Neural Network with the Role of Optical Coherence Tomography in Retinal Conditions

Marginean, Anca, Groza, Adrian, Nicoara, Simona Delia, Muntean, George, Slavescu, Radu Razvan, Letia, Ioan Alfred

Year:

2019

Language:

english

File:

PDF, 861 KB

english, 2019

20

Assuring Safety in Air Traffic Control Systems with Argumentation and Model Checking

Gómez, Sergio Alejandro, Goron, Anca, Groza, Adrian, Letia, Ioan Alfred

Journal:

Expert Systems with Applications

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

21

A multiagent cooperative mobile robotics approach for search and rescue missions

Vacariu, Lucia, Csaba, Blasko Peter, Letia, Ioan Alfred, Fodor, George, Cret, Octavian

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 202 KB

english, 2004

22

[IEEE 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Cluj, Romania (2012.08.30-2012.09.1)] 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing - Justifying argument and explanation in labelled argumentation

Letia, Ioan Alfred, Groza, Adrian

Year:

2012

Language:

english

File:

PDF, 173 KB

english, 2012

23

Risk factors for symptomatic gallstones in patients with liver cirrhosis: a case–control study

Monica Acalovschi, Dan Blendea, Cristina Feier, Alfred I Letia, Nadia Ratiu, Dan L Dumitrascu, Adina Veres

Journal:

American Journal of Gastroenterology

Year:

2003

Language:

english

File:

PDF, 62 KB

english, 2003

24

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions

Marginean, Anca, Letia, Ioan Alfred, Zaporojan, Sergiu

Year:

2014

Language:

english

File:

PDF, 746 KB

english, 2014

25

[IEEE 2013 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2013.09.5-2013.09.7)] 2013 IEEE 9th International Conference on Intelligent Computer Communication and Processing (ICCP) - Towards combining functional requirements tests and unit tests as a preventive practice against software defects

Dudila, Raluca, Letia, Ioan Alfred

Year:

2013

Language:

english

File:

PDF, 117 KB

english, 2013

26

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Unsupervised semantic annotation of Web service datatypes

Chifu, Emil St., Letia, Ioan Alfred

Year:

2010

Language:

english

File:

PDF, 194 KB

english, 2010

27

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Maintenance agents for the computer security domain

Letia, Ioan Alfred, Marian, Dan Alexandru

Year:

2010

Language:

english

File:

PDF, 70 KB

english, 2010

28

[IEEE 2012 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Cluj, Romania (2012.08.30-2012.09.1)] 2012 IEEE 8th International Conference on Intelligent Computer Communication and Processing - Individualized service selection with ontologies and rules

Letia, Ioan Alfred, Pop, Octavian

Year:

2012

Language:

english

File:

PDF, 118 KB

english, 2012

29

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Simplifying Ontologies for Smoother Interaction in Heterogeneous Environments

Letia, Ioan Alfred, Pop, Octavian

Year:

2011

Language:

english

File:

PDF, 256 KB

english, 2011

30

[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Semantic Service Alignment Using Concept Description Refinement

Letia, Ioan Alfred, Pop, Octavian

Year:

2010

Language:

english

File:

PDF, 195 KB

english, 2010

31

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Collaborative agent planning using a subjective logic based trust model

Letia, Ioan Alfred, Slavescu, Radu Razvan

Year:

2010

Language:

english

File:

PDF, 183 KB

english, 2010

32

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Embedding value-based argumentation in persuasive dialogs

Letia, Ioan Alfred, Goron, Anca

Year:

2011

Language:

english

File:

PDF, 141 KB

english, 2011

33

[IEEE 2014 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj Napoca, Romania (2014.9.4-2014.9.6)] 2014 IEEE 10th International Conference on Intelligent Computer Communication and Processing (ICCP) - A temporal view on Model Checking Hybrid Logics

Letia, Ioan Alfred, Goron, Anca

Year:

2014

Language:

english

File:

PDF, 129 KB

english, 2014

34

[IEEE 2010 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2010.08.26-2010.08.28)] Proceedings of the 2010 IEEE 6th International Conference on Intelligent Computer Communication and Processing - Handling incompletely specified contracts by Argumentation

Letia, Ioan Alfred, Goron, Anca

Year:

2010

Language:

english

File:

PDF, 270 KB

english, 2010

35

[IEEE 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2009.08.27-2009.08.29)] 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing - Aligning meaning understanding between agents using different, but close ontologies

Letia, Ioan Alfred, Pop, Octavian

Year:

2009

Language:

english

File:

PDF, 135 KB

english, 2009

36

[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - An Argumentation Approach to Incompletely Specified Software Services

Letia, Ioan Alfred, Goron, Anca

Year:

2010

Language:

english

File:

PDF, 304 KB

english, 2010

37

[IEEE Cluj-Napoca, Romania - (2007.09.6-2007.09.8)] 2007 IEEE International Conference on Intelligent Computer Communication and Processing - Planning with Argumentation Schemes in Online Dispute Resolution

Letia, Ioan Alfred, Groza, Adrian

Year:

2007

Language:

english

File:

PDF, 1.36 MB

english, 2007

38

[IEEE 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2009.08.27-2009.08.29)] 2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing - Integrating agent programs with the support of formal concepts

Letia, Ioan Alfred, Goron, Anca

Year:

2009

Language:

english

File:

PDF, 113 KB

english, 2009

39

[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Helpful Behavior Based on Trust for Web Services

Letia, Ioan Alfred, Sla, Radu Ra

Year:

2010

Language:

english

File:

PDF, 319 KB

english, 2010

40

Plausible Description Logic Programs for Stream Reasoning

Groza, Adrian, Letia, Ioan Alfred

Journal:

Future Internet

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

41

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Service monitoring with ontology based expectations

Letia, Ioan Alfred, Marginean, Anca Nicoleta

Year:

2011

Language:

english

File:

PDF, 370 KB

english, 2011

42

[IEEE 2011 IEEE International Conference on Intelligent Computer Communication and Processing (ICCP) - Cluj-Napoca, Romania (2011.08.25-2011.08.27)] 2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing - Using arguments on requirements for services

Letia, Ioan Alfred, Goron, Anca

Year:

2011

Language:

english

File:

PDF, 378 KB

english, 2011

43

[IEEE 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) - Lyon, France (2011.08.22-2011.08.27)] 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - FloodTrust for Improved Trust Transitivity

Letia, Ioan Alfred, Slavescu, Radu Razvan

Year:

2011

Language:

english

File:

PDF, 278 KB

english, 2011

44

Model checking as support for inspecting compliance to rules in flexible processes

Letia, Ioan Alfred, Goron, Anca

Journal:

Journal of Visual Languages & Computing

Year:

2015

Language:

english

File:

PDF, 2.49 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски